Rigorous Methods for Software Construction and Analysis Dagstuhl Seminar
نویسندگان
چکیده
From 07.05.06 to 12.05.06, the Dagstuhl Seminar 06191 Rigorous Methods for Software Construction and Analysis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)
This report documents the program and the outcomes of Dagstuhl Seminar 13372 “Integration of Tools for Rigorous Software Construction and Analysis”. The 32 participants came from 10 countries: Australia, Austria, Brazil, Canada, Denmark, France, Germany, Great Britain, Italy, Norway. The aim of the seminar was to bring together researchers and tool developers from different stateand machine-bas...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملSLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)
This report documents the program and the outcomes of Dagstuhl Seminar 17342 "SLEBOK: The Software Language Engineering Body of Knowledge". Software Language Engineering (SLE) has emerged as a scientific field, with a strong motivation to connect and integrate different research disciplines such as compiler construction, reverse engineering, software transformation, model-driven engineering, an...
متن کاملMachine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)
This report documents the program and the outcomes of Dagstuhl Seminar 16172 “Machine Learning for Dynamic Software Analysis: Potentials and Limits”. Machine learning is a powerful paradigm for software analysis that provides novel approaches to automating the generation of models and other essential artefacts. This Dagstuhl Seminar brought together top researchers active in the fields of machi...
متن کاملRigorous Methods for Software Construction and Analysis
We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany. Focusing on applied formal methods, the final seminar program covered a wide range of applied research spanning from theoretical and methodological foundations to practical applications ...
متن کامل